Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
281	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
282	Print, Inser t, Monitor, Audit. Do it all with uTrack and DRS . TM TM Add to Reading List Source URL: www.uluro.com Language: English - Date: 2015-03-19 13:12:09 Verification and validation Workflow Management Business Automated Document Factory Office software
283	An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-06-11 12:02:50 Data types Higher-order functions Type theory Recursion Source code Algebraic data type Satisfiability Modulo Theories Map ALGOL 68 Software engineering Computer programming Computing
284	Software Verification and Graph Similarity for Automated Evaluation of Students’ AssignmentsI Milena Vujoˇsevi´c-Janiˇci´ca,∗, Mladen Nikoli´ca , Duˇsan Toˇsi´ca , Viktor Kuncakb a Faculty of Mathematics, Un Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-01-04 14:06:52 Software testing LLVM Software bug Model checking Software development process Software verification Static single assignment form Software Programming language implementation Compilers
285	Rocky Mountain Regulatory Affairs Society presents System and Software Verification and Validation Wednesday, January 14, 2014 College Hill Library, Front Range Community College Add to Reading List Source URL: rmras.org Language: English - Date: 2015-05-26 17:27:22 Medicine Quality management Systems engineering Quality Science Verification and validation Validation ISO 13485 Pharmaceutical industry Validity Technology
286	PDF Document Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2010-11-08 10:51:38 Technology Science Software engineering Theoretical computer science Software requirements Formal verification Software verification Formal specification Problem frames approach Software development Formal methods Systems engineering
287	PDF Document Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:59:30 Quality Validation Software testing Dynamic-link library Verification and validation Science Evaluation Philosophy of science Pharmaceutical industry Validity Clinical research
288	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
289	Busitech QW 5.0 versionDecember 4, 2007 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:51:23 Internet Explorer Windows Script Host Windows Registry Dynamic-link library Software testing Verification and validation Visual Basic Computing Software System software
290	Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender: Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2015-04-10 06:06:57 University of Camerino Computer science Institute of Science and Technology Austria Agent-based model Runtime verification Edmund M. Clarke Systems engineering Academia Software development Science Formal methods Logic in computer science

UPDATE